(0 7 2)(1 19 16)(3 20 13)(4 10 8)(5 18 17)(6 14 12)(9 15 11)
ALLOWS (11/8)-SEQUENCE
1: (13 15 20)
(0 7 2)(1 19 16)(3 20 11 9 15)(4 10 8)(5 18 17)(6 14 12)(13)
2: (3 9 15)
(0 7 2)(1 19 16)(3)(4 10 8)(5 18 17)(6 14 12)(9 20 11)(13)(15)
3: (6 14 12)
(0 7 2)(1 19 16)(3)(4 10 8)(5 18 17)(6)(9 20 11)(12)(13)(14)(15)
4: (4 10 8)
(0 7 2)(1 19 16)(3)(4)(5 18 17)(6)(8)(9 20 11)(10)(12)(13)(14)(15)